Inhalt des Dokuments

Master

GSOS+ -Rules are Natural Transformations - A Mechanised Proof

Montag, 20. Februar 2017

Erstgutachter/in: Prof. Dr.-Ing. Nestmann
Zweitgutachter/in: Prof. Dr. Hofmann (LMU München)

Seidler, Henning

---